Descriptions of the prediction models: Original UNIFAC, NIST-KT-UNIFAC
Descriptions of the activity-coefficient models: UNIQUAC, NRTL